//]]>
Unhighlight Highlight
Computational Issues in Fluid Construction Grammar by Steels, Luc. Publication: . X, 331 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2012 by Roychoudhury, Abhik. Publication: . XII, 259 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Beringer, Lennart. Publication: . XI, 419 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Gibbons, Jeremy. Publication: . X, 363p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Kienzle, Jörg. Publication: . X, 292 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Flanagan, Cormac. Publication: . XIX, 560 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VIII by Katz, Shmuel. Publication: . XIII, 221 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Abdulla, Parosh Aziz. Publication: . XVI, 394p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service Research Challenges and Solutions for the Future Internet by Papazoglou, Mike P. Publication: . XVIII, 374p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XV, 498p. 157 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification, and Validation by Margaria, Tiziana. Publication: . XX, 708p. 220 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Modeling Concepts for Today’s Software Processes by Münch, Jürgen. Publication: . XIV, 382p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Baudry, Benoît. Publication: . VIII, 155p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Ghosh, Sudipto. Publication: . X, 360p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Esparza, Javier. Publication: . XVI, 468p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Abstract State Machines, Alloy, B and Z by Frappier, Marc. Publication: . XIV, 416p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Methods for Curves and Surfaces by Dæhlen, Morten. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية